|
Robert Ian Goldblatt (born 1949) is a mathematical logician at the School of Mathematics, Statistics and Operations Research at Victoria University, Wellington, New Zealand, and a member of the Centre for Logic, Language and Computation. His academic genealogy can be traced back to Leibniz.〔.〕 One of his most popular books is ''Logics of time and computation''. He was a Coordinating Editor of The ''Journal of Symbolic Logic''. He is a Managing Editor of ''Studia Logica''. He was elected Fellow and Councillor of the Royal Society of New Zealand, President of the New Zealand Mathematical Society, and represented New Zealand to the International Mathematical Union. ==Books and handbook chapters== *Goldblatt, Robert. ''Logics of time and computation''. Second edition. CSLI Lecture Notes, 7. Stanford University, Center for the Study of Language and Information, Stanford, CA, 1992. *Goldblatt, Robert. ''Lectures on the hyperreals''. An introduction to nonstandard analysis. Graduate Texts in Mathematics, 188. Springer-Verlag, New York, 1998. ::Reviewer Perry Smith for MathSciNet (wrote ): "The author's ideas on how to achieve both intelligibility and rigor, explained in the preface, will be useful reading for anyone intending to teach nonstandard analysis." * Goldblatt, Robert. ''Topoi: The Categorial Analysis of Logic''. Dover Books on Mathematics, 1984. :: Benjamin C. Pierce recommends it as an "excellent beginner book", praising it for the use of simple set-theoretic examples and motivating intuitions, but noted that it "is sometimes criticized by category theorists for being misleading on some aspects of the subject, and for presenting long and difficult proofs where simple ones are available." * * Goldblatt, Robert. ''Mathematical Modal Logic: a View of its Evolution.'' in ''Modalities in the Twentieth Century'', Volume 7 of the ''Handbook of the History of Logic'', edited by Dov M. Gabbay and John Woods, Elsevier, 2006, pp. 1–98. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Robert Goldblatt」の詳細全文を読む スポンサード リンク
|